Paradoxe de Berry

Pour les articles homonymes, voir Berry (homonymie).

Le paradoxe de Berry a été formulé par Bertrand Russell en 1906. On le trouve dans un article, paru en français cette même année, de la Revue de métaphysique et de morale. Russell introduit, dans une discussion à propos du paradoxe de Richard, le « plus petit entier non nommable en moins de dix-huit syllabes qui paraît être ainsi nommé en dix-sept syllabes »^[1], et attribue cette définition paradoxale à un bibliothécaire londonien, G. G. Berry.

Toujours selon Russell, c'est une simplification, qui « a le mérite de ne pas dépasser les nombres finis », du paradoxe du « plus petit ordinal indéfinissable qui semble défini par la phrase même qui annonce qu'il est indéfinissable » (forme probablement due à Russell lui-même). Ces énoncés sont repris dans l'article de Russell de 1908 sur la théorie des types.